package ch.usi.da;

/**
 * Created by IntelliJ IDEA.
 * User: Sergey Karakovskiy
 * Date: Nov 7, 2009
 * Time: 8:18:15 PM
 */
public interface IPaxosProtocol
{
    public void propose(int K, int v);

    public void decide(int K, int vprime);
}
